English primitive recursive predicate: תרגום לשפות אחרות